Merge branch 'docs-fixes' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Tue, 12 May 2020 18:40:34 +0000 (18:40 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Tue, 12 May 2020 18:40:34 +0000 (18:40 +0000)
Docs fixes

See merge request GNOME/gtk!1882


Trivial merge